Symmetric monoidal functors